supremum of a set